Merge pull request #1809 from antonio-nino-diaz-arm/an/fix-trusty
authorAntonio Niño Díaz <[email protected]>
Fri, 8 Feb 2019 13:53:15 +0000 (13:53 +0000)
committerGitHub <[email protected]>
Fri, 8 Feb 2019 13:53:15 +0000 (13:53 +0000)
trusty: Require dynamic translation tables


Trivial merge